punching tool - German English Dictionary